Problema num.12185 di AMM vol.127, no.5, 2020

Prove ∫_{1}^{+∞} \frac{ln(x^{4} − 2x^{2} + 2)}{x\sqrt{x^{2} − 1}}dx = π ln(2 + \sqrt{2})